In this consensus report by a diverse group of academics who conduct and/or are concerned about social and behavioral genomics (SBG) research, the authors recount the often‐ugly history of scientific attempts to understand the genetic contributions to human behaviors and social outcomes. They then describe what the current science—including genomewide association studies and polygenic indexes—can and cannot tell us, as well as its risks and potential benefits. They conclude with a discussion of responsible behavior in the context of SBG research. (...) SBG research that compares individuals within a group according to a “sensitive” phenotype requires extra attention to responsible conduct and to responsible communication about the research and its findings. SBG research (1) on sensitive phenotypes that (2) compares two or more groups defined by (a) race, (b) ethnicity, or (c) genetic ancestry (where genetic ancestry could easily be misunderstood as race or ethnicity) requires a compelling justification to be conducted, funded, or published. All authors agree that this justification at least requires a convincing argument that a study's design could yield scientifically valid results; some authors would additionally require the study to have a socially favorable risk‐benefit profile. (shrink)

While outcomes for children with T-cell acute lymphoblastic leukemia have improved dramatically, survival rates for patients with relapsed/refractory disease remain dismal. Prior studies indicate that glucocorticoid resistance is more common than resistance to other chemotherapies at relapse. In addition, failure to clear peripheral blasts during a prednisone prophase correlates with an elevated risk of relapse in newly diagnosed patients. Here we show that intrinsic GC resistance is present at diagnosis in early thymic precursor T-ALLs as well as in a subset (...) of non-ETP T-ALLs. GC-resistant non-ETP T-ALLs are characterized by strong induction of JAK/STAT signaling in response to interleukin-7 stimulation. Removing IL7 or inhibiting JAK/STAT signaling sensitizes these T-ALLs, and a subset of ETP T-ALLs, to GCs. The combination of the GC dexamethasone and the JAK1/2 inhibitor ruxolitinib altered the balance between pro- and anti-apoptotic factors in samples with IL7-dependent GC resistance, but not in samples with IL7-independent GC resistance. Together, these data suggest that the addition of ruxolitinib or other inhibitors of IL7 receptor/JAK/STAT signaling may enhance the efficacy of GCs in a biologically defined subset of T-ALL.Leukemia advance online publication, 30 May 2017; doi:10.1038/leu.2017.136. (shrink)

In 2021, the American Academy of Pediatrics, American Academy of Child and Adolescent Psychiatry, and Children’s Hospital Association declared a national emergency in child and adolescent mental he...

In this article I present the Son - Spirit relationship in Christ as the secret to the connection between immanent/economic trinitarian dichotomies without compromising the reality of Christ's human nature. I suggest thatthe Spirit bridges the gap separating God and human beings by linking the inaugurated eschatological present with the future fulfillment of our nascent condition as children of God in Christ. The key notion for understanding God's self-communication rests with the unique role of the Spirit of Christ, who, in (...) the economy, anoints believers in the Son and establishes a real relation between them and God the Father. In effect, the Spirit divinizes all who enter into the risen body of Christ, by activating and bringing to perfection the natural filiation of the Son that is in them by virtue of baptism. This divine gift of participation in the immanent trinitarian life of the Son enables the believer not only to know and love God in a divine way but also to love others as God loves them. (shrink)

This essay briefly describes a few of the problems associated with using personhood language to defend the right to life of the pre‐implantation embryo. Arguing that an immaterial soul explains the personal identity of an embryo is problematic for many people because there is no apparent spiritual activity in the unborn. While some scholars argue that the embryo has the potential to act as an adult person and thus should be protected from harm, others contend that potentiality alone is insufficient (...) reason to ascribe special moral worth to the embryo in utero. For Thomas Aquinas, the soul is not only the life‐principle that organizes the human body, but it is also that by which the human being thinks and wills. By making suitable corrections to Aristotle's hylomorphic depiction of the soul–body relation, I suggest that a rational soul must be present from the moment of conception and that it is at the service of the person. What is of critical importance here is to accept that a human being is present from the moment of conception, something the vast majority of embryologists maintain, notwithstanding the inveiglement of those who state that the pre‐implantation blastocyst is simply a disorganized clump of cells. (shrink)

With the aim of studying foundations for self-other relations and understanding, we conducted an experimental investigation of a specific aspect of imitation in children with autism: the propensity to copy self-other orientation. We hypothesised that children with autism would show limitations inidentifying withthe stance of another person. We tested 16 children with autism and 16 non-autistic children with learning difficulties, matched on both chronological and verbal mental age, for their propensity to imitate the self- or other-orientated aspects of another person’s (...) actions. All participants were attentive to the demonstrator and copied her actions, but the children with autism were significantly less likely to imitate those aspects of her actions that involved movement in relation to her own vis-à-vis the child’s body. There were a number of children with autism who copied the identical geometric orientation of objects acted-upon. These results suggest that children with autism have a diminished propensity to identify with other people, and point to the importance of this mechanism for shaping self-other relations and flexible thinking. (shrink)

Late in 1990, the Center for the Study of Ethics in the Professions at Illinois Institute of Technology (lIT) received a grant of more than $200,000 from the National Science Foundation to try a campus-wide approach to integrating professional ethics into its technical curriculum.! Enough has now been accomplished to draw some tentative conclusions. I am the grant's principal investigator. In this paper, I shall describe what we at lIT did, what we learned, and what others, especially philosophers, can learn (...) from us. We set out to develop an approach that others could profitably adopt. I believe that we succeeded. (shrink)

With the aim of studying foundations for self-other relations and understanding, we conducted an experimental investigation of a specific aspect of imitation in children with autism: the propensity to copy self-other orientation. We hypothesised that children with autism would show limitations inidentifying withthe stance of another person. We tested 16 children with autism and 16 non-autistic children with learning difficulties, matched on both chronological and verbal mental age, for their propensity to imitate the self- or other-orientated aspects of another person’s (...) actions. All participants were attentive to the demonstrator and copied her actions, but the children with autism were significantly less likely to imitate those aspects of her actions that involved movement in relation to her own vis-à-vis the child’s body. There were a number of children with autism who copied the identical geometric orientation of objects acted-upon. These results suggest that children with autism have a diminished propensity to identify with other people, and point to the importance of this mechanism for shaping self-other relations and flexible thinking. (shrink)

Hastings Center Report, Volume 52, Issue 1, Page 51-58, January/February 2022.

The Alexandrian theologian Origen wrote that God the Father exceeds the Son in a way that surpasses the Son’s own transcendence of creation, and he apparently did so in order to oppose those who disregarded Jesus’ statement that «the Father is greater than I» . Just a few years after Origen’s death, however, when correction of his Son of God theology was well underway, Arius radicalized the latent subordinationism present in Origen’s thought by placing the Son among created things. The (...) Arian tendency to associate the Son with the created realm can be traced back to the attempts of Methodius of Olympus and Eusebius of Caesarea to counter Origen’s doctrine of eternal creation. Arius claimed that Christ is called «Son» because he is the created instrument of God’s will, and he gained sympathy for this voluntaristic view by citing John 14:28. Here was irrefutable scriptural proof of the metaphysical priority of the Father over the Son who is a separate and yet perfect creature of God. (shrink)

With the aim of studying foundations for self-other relations and understanding, we conducted an experimental investigation of a specific aspect of imitation in children with autism: the propensity to copy self-other orientation. We hypothesised that children with autism would show limitations in identifying with the stance of another person. We tested 16 children with autism and 16 non-autistic children with learning difficulties, matched on both chronological and verbal mental age, for their propensity to imitate the self- or other-orientated aspects of (...) another person’s actions. All participants were attentive to the demonstrator and copied her actions, but the children with autism were significantly less likely to imitate those aspects of her actions that involved movement in relation to her own vis-à-vis the child’s body. There were a number of children with autism who copied the identical geometric orientation of objects acted-upon. These results suggest that children with autism have a diminished propensity to identify with other people, and point to the importance of this mechanism for shaping self-other relations and flexible thinking. (shrink)

This essay briefly describes a few of the problems associated with using personhood language to defend the right to life of the pre‐implantation embryo. Arguing that an immaterial soul explains the personal identity of an embryo is problematic for many people because there is no apparent spiritual activity in the unborn. While some scholars argue that the embryo has the potential to act as an adult person and thus should be protected from harm, others contend that potentiality alone is insufficient (...) reason to ascribe special moral worth to the embryo in utero. For Thomas Aquinas, the soul is not only the life‐principle that organizes the human body, but it is also that by which the human being thinks and wills. By making suitable corrections to Aristotle's hylomorphic depiction of the soul–body relation, I suggest that a rational soul must be present from the moment of conception and that it is at the service of the person. What is of critical importance here is to accept that a human being is present from the moment of conception, something the vast majority of embryologists maintain, notwithstanding the inveiglement of those who state that the pre‐implantation blastocyst is simply a disorganized clump of cells. (shrink)

This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.

Bullot & Reber (B&R) provide compelling evidence that sensitivity to context, history, and design stance are crucial to theories of art appreciation. We ask how these ideas relate to broader aspects of human cognition. Further open questions concern how psychological essentialism contributes to art appreciation and how essentialism regarding created artifacts (such as art) differs from essentialism in other domains.

This is a republication of R.K. Meyer's "Relevant Arithmetic", which originally appeared in the Bulletin of the Section of Logic 5. It sets out the problems that Meyer was to work on for the next decade concerning his system, R#.

Kallen's review of Ralph Barton Perry (1935) The Thought and Character of William James--in which he offers a pointed criticism.

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6]. In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. The absolute consistency result used as (...) a model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3, which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli. We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete. In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6] (see also Routley [10] and Asenjo [11]). In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert (...) programme. The absolute consistency result used as a model arithmetic modulo two. Modulo arithmetics are not or- dinarily thought of as an extension of Peano arithmetic, since some of the propositions of the latter, such as that zero is the successor of no number, fail in the former. Consequently a logical base which, unlike classical logic, tolerates contradictory theories was used for the model. The logical base for the model was the three-valued logic RM3 (see e.g. [1] or [8]), which has the advantage that while it is an extension of R, it is finite valued and so easier to handle. The resulting model-theoretic structure (called in this paper RM32) is interesting in its own right in that the set of sentences true therein consti- tutes a negation inconsistent but absolutely consistent arithmetic which is an extension of R♯. In fact, in the light of the result of [6], it is an extension of Peano arithmetic with a base of a classical logic, P♯. A generalisation of the structure is to modulo arithmetics with the same logical base RM3, but with varying moduli (called RM3i here). We first study the properties of these arithmetics in this paper. The study is then generalised by vary- ing the logical base, to give the arithmetics RMni, of logical base RMn and modulus i. Not all of these exist, however, as arithmetical properties and logical properties interact, as we will show. The arithmetics RMni give rise, on intersection, to an inconsistent arithmetic RMω which is not of modulo i for any i. We also study its properties, and, among other results, we show by finitistic means that the more natural relevant arithmetics R♯ and R♯♯ are incomplete (whether or not consistent and recursively enumerable). In the rest of the paper we apply these techniques to several topics, particularly relevant quantum arithmetic in which we are able to show (unlike classical quantum arithmetic) that the law of distribution remains unprovable. Aside from its intrinsic interest, we regard the present exercise as a demonstration that inconsistent theories and models are of mathematical worth and interest. (shrink)

With neuroscience and psychology making significant advances in contemporary brain research, fundamental questions concerning the nature of human life and activity will become evermore critical as we proceed further into the twenty-first century. Put simply, are we creatures who exercise some genuine degree of freedom and agency in the world or are we creatures whose actions are largely if not wholly determined by biological, neurological, and psychological factors far below the radar of our conscious awareness? This article explores this important (...) and timely question by examining the views of Paul Sheldon Davies, Reinhold Niebuhr, and Alfred North Whitehead. Drawing on contemporary science, Davies dismisses Niebuhr’s existential analysis of human existence and any meaningful conception of human agency. Succinctly stated, can one take both the results of contemporary neuroscience seriously, as Davies does, and the affirmation of human agency seriously, as Niebuhr does? The thesis of this essay is that Whitehead offers a constructive bridge between Davies’ affirmation of science and Niebuhr’s existential account of human existence. In sum, it is argued that Whitehead’s process philosophy enables us to affirm the genuine influence of nonconscious factors in experience as well as the authenticity of human agency and subjectivity in the world. (shrink)

This is a republication of R.K. Meyer's "Relevant Arithmetic", which originally appeared in the Bulletin of the Section of Logic 5 (1976). It sets out the problems that Meyer was to work on for the next decade concerning his system, R#.

In Entailment, Anderson and Belnap motivated their modification E of Ackermann’s strenge Implikation Π Π’ as a logic of relevance and necessity. The kindred system R was seen as relevant but not as modal. Our systems of Peano arithmetic R# and omega arithmetic R## were based on R to avoid fallacies of relevance. But problems arose as to which arithmetic sentences were (relevantly) true. Here we base analogous systems on E to solve those problems. Central to motivating E is the (...) rejection of fallacies of modality. Our slogan here for this is, “No diamonds entail any boxes.” Form the strenge Peano arithmetic E# like R#, adding appropriate forms of the Peano axioms to Ackermann’s E.. (shrink)

Based on the relevant logic R, the system R# was proposed as a relevant Peano arithmetic. R# has many nice properties: the most conspicuous theorems of classical Peano arithmetic PA are readily provable therein; it is readily and effectively shown to be nontrivial; it incorporates both intuitionist and classical proof methods. But it is shown here that R# is properly weaker than PA, in the sense that there is a strictly positive theorem QRF of PA which is unprovable in R#. (...) The reason is interesting: if PA is slightly weakened to a subtheory P+, it admits the complex ring C as a model; thus QRF is chosen to be a theorem of PA but false in C. Inasmuch as all strictly positive theorems of R# are already theorems of P+, this nonconservativity result shows that QRF is also a nontheorem of R#. As a consequence, Ackermann's rule γ is inadmissible in R#. Accordingly, an extension of R# which retains its good features is desired. The system R##, got by adding an omega-rule, is such an extension. Central question: is there an effectively axiomatizable system intermediate between R# and R##, which does formalize arithmetic on relevant principles, but also admits γ in a natural way? (shrink)

The object of this article is to set forth certain evidence that emerges from a study of three of Plutarch's Lives, the Titus, the Paullus, and the Cato Maior, evidence which indicates that these Lives are based upon a definite type of biographical composition, and to suggest its possible origin and date. Since E. Meyer's article on the Cimon of Nepos and Plutarch, biographical sources have generally been assumed for the Greek Lives, and there has been a tendency to (...) make the same assumption for the Roman Lives also, without, however, setting forth the evidence that might justify it. Uxkull Gyllenband maintained that biographies of Greeks and Romans, the sources of Plutarch, were written in the second century b.c., but he gives no evidence for his contention, which is indeed refuted by the observations of Jacoby. Mühl argued with some force that Plutarch's source for the Marcellus was a biography. There is good reason to doubt his conclusion that Plutarch has used a biography of Poseidonius; but the arguments advanced by Klotz for the thesis that the source was the annalist Valerius Antias are still less convincing. Liedmeier postulates a biographical source for the Paullus, but without doing more than asserting the general improbability that Plutarch here used a multiplicity of sources. It seems therefore desirable to collect such evidence as there is of a biographical source in these three Roman Lives of the second century b.c., and it is with such an attempt rather than with a priori considerations that I am here concerned. (shrink)

The purpose of this paper is to formulate first-order Peano arithmetic within the resources of relevant logic, and to demonstrate certain properties of the system thus formulated. Striking among these properties are the facts that it is trivial that relevant arithmetic is absolutely consistent, but classical first-order Peano arithmetic is straightforwardly contained in relevant arithmetic. Under, I shall show in particular that 0 = 1 is a non-theorem of relevant arithmetic; this, of course, is exactly the formula whose unprovability was (...) sought in the Hilbert program for proving arithmetic consistent. Under, I shall exhibit the requisite translation, drawing some Goedelian conclusions therefrom. Left open, however, is the critical problem whether Ackermann’s rule γ is admissible for theories of relevant arithmetic. The particular system of relevant Peano arithmetic featured in this paper shall be called R♯. Its logical base shall be the system R of relevant implication, taken in its first-order form RQ. Among other Peano arithmetics we shall consider here in particular the systems C♯, J♯, and RM3♯; these are based respectively on the classical logic C, the intuitionistic logic J, and the Sobocinski-Dunn semi-relevant logic RM3. And another feature of the paper will be the presentation of a system of natural deduction for R♯, along lines valid for first-order relevant theories in general. This formulation of R♯ makes it possible to construct relevantly valid arithmetical deductions in an easy and natural way; it is based on, but is in some respects more convenient than, the natural deduction formulations for relevant logics developed by Anderson and Belnap in Entailment. (shrink)

Causal modeling methods such as path analysis, used in the social and natural sciences, are also highly relevant to philosophical problems of probabilistic causation and statistical explanation. We show how these methods can be effectively used (1) to improve and extend Salmon's S-R basis for statistical explanation, and (2) to repair Cartwright's resolution of Simpson's paradox, clarifying the relationship between statistical and causal claims.

This paper traces the development of parental rights to accept or to refuse treatment for a defective newborn infant in the United Kingdom and in the United States of America; its main purpose is to explore the common trends from which an acceptable policy may be derived. It is probable that the British law on parental decision-making in respect of infants suffering from Down's syndrome is to be found in the civil case of In Re B rather than in the (...) criminal case of R v Arthur. United States court decisions are strongly influenced by constitutional law and reflect the right to personal privacy. The position on each side of the Atlantic seems very similar but this similarity includes a sense of uncertainty as to legal responsibility. There is a case for agreed guidelines and a suggested format is offered for consideration. (shrink)

This paper offers an elementary proof that formal arithmetic is consistent. The system that will be proved consistent is a first-order theory R♯, based as usual on the Peano postulates and the recursion equations for + and ×. However, the reasoning will apply to any axiomatizable extension of R♯ got by adding classical arithmetical truths. Moreover, it will continue to apply through a large range of variation of the un- derlying logic of R♯, while on a simple and straightforward translation, (...) the classical first-order theory P♯ of Peano arithmetic turns out to be an exact subsystem of R♯. Since the reasoning is elementary, it is formalizable within R♯ itself; i.e., we can actually demonstrate within R♯ (or within P♯, if we care) a statement that, in a natural fashion, asserts the consistency of R♯ itself. The reader is unlikely to have missed the significance of the remarks just made. In plain English, this paper repeals Goedel’s famous second theorem. (That’s the one that asserts that sufficiently strong systems are inadequate to demonstrate their own consistency.) That theorem (or at least the significance usually claimed for it) was a mis- take—a subtle and understandable mistake, perhaps, but a mistake nonetheless. Accordingly, this paper reinstates the formal program which is often taken to have been blasted away by Goedel’s theorems— namely, the Hilbert program of demonstrating, by methods that everybody can recognize as effective and finitary, that intuitive mathematics is reliable. Indeed, the present consistency proof for arithmetic will be recognized as correct by anyone who can count to 3. (So much, indeed, for the claim that the reliability of arithmetic rests on transfinite induction up to ε0, and for the incredible mythology that underlies it.). (shrink)

When legal practice satisfies certain modest conditions of legitimacy, affirming the equal dignity of persons, the law is what it ought to be. It provides the morally appropriate basis for the reso...

THIS PAPER ARGUES, AGAINST A. O. LOVEJOY AND WITH R. B.\nPERRY, THAT JAMES' THEORY OF MEANING DOES NOT CONFUSE\nCONSEQUENCES OF BELIEVING AND CONSEQUENCES OF THE\nSTATEMENTS BELIEVED. RATHER, I ARGUE THAT JAMES HOLDS THAT\nTHE MEANING OF A SYNTHETIC STATEMENT IS TO BE FOUND IN ITS\nPERCEPTUAL CONSEQUENCES WHILE CONSEQUENCES OF BELIEVING ARE\nRELEVANT TO 'JUSTIFYING' OVERBELIEFS; THAT IS, TO\nJUSTIFYING MEANINGFUL STATEMENTS FOR WHICH THE EVIDENCE IS\nINSUFFICIENT TO PROVIDE A RATIONAL, NON-PASSIONAL\nJUSTIFICATION. ALTHOUGH THIS THEORY OF MEANING APPEARS\nANTI-METAPHYSICAL, JAMES DOES NOT USE IT TO RULE (...) OUT\nMETAPHYSICS BECAUSE HE BELIEVES, ALONG WITH COMMON SENSE,\nTHAT METAPHYSICAL DOCTRINES ARE MEANINGFUL; THUS, THE\nQUESTION IS WHAT METAPHYSICAL DOCTRINES MEAN AND NOT\nWHETHER THEY ARE MEANINGFUL. ALTHOUGH JAMES IS OFTEN\nMISLEADING IN TALKING ABOUT MEANING, I ARGUE THAT THIS\nINTERPRETATION IS SUPPORTED BY HIS NUMEROUS DISCUSSIONS OF\nMETAPHYSICS. PAUL HENLE'S ATTEMPT TO PROVIDE A FAVORABLE\nINTERPRETATION OF JAMES WITHIN LOVEJOY'S FRAMEWORK, IS ALSO\nSHOWN TO BE INCOHERENT. (shrink)

In this expensive but invaluable book, students and scholars of Whitehead's philosophy and those more generally interested in the intersections of philosophy and science will find a treasure trove for gleaning the development, breadth, and depth of Whitehead's thought. This work, which consists of three independent sets of course notes from the previously unpublished lectures that Whitehead gave in his first year at Harvard in 1924–1925, is the first volume in a new and richly important series by Edinburgh University Press: (...) The Edinburgh Critical Edition of the Complete Works of Alfred North Whitehead, overseen by series editors George R. Lucas Jr. and Brian G. Henning. This initial volume, which was skillfully... (shrink)

The essays in this volume are based on addresses given during a colloquium on free logic, modal logic, and related areas held at the University of California in 1968. The majority of the contributors are well known for their writings in these fields and their papers are as illuminating as they are technical. In the first paper, Lambert and Bas C. Van Fraassen apply free logic to several controversies in quantified modal logic. One of these is Putman's argument that 'Nothing (...) is both red and green all over' can be had as a theorem of modal logic. Lambert and Van Fraassen provide a counter example to this claim and then show that the argument only holds in systems allowing possible individuals. Jaako Hintikka's essay also deals with 'free' modal logics in much the same way as Hintikka's other papers and discusses some of the criticisms of Quine of the entire enterprise of quantified modal logic. In another paper, H. Leblanc and R. K. Meyer provide truth-value semantics for the theory of types and hence an alternative semantic structure for functional calculi of any order. In addition to these essays, there are papers by R. Thomason and Dana Scott on modal logic, J. Vickers on probability logic, and Peter Woodruff on truth value gaps. To anyone interested in these various areas this collection is sure to be welcome.--R. P. M. (shrink)